机译:Event-B中Mondex系统的增量开发
机译:UML-B:UML辅助的形式化建模和设计
机译:一种有效的算法,可通过一次数据库扫描从增量数据库中挖掘高实用性模式
机译:UML-B和Event-B:语言和工具的集成
机译:对等数据库系统中映射约束的增量维护。
机译:一种并行和增量算法可在DNA数据库上高效地发现唯一特征
机译:UmL-B:Event-B工具集1的插件
机译:Viewcache:分布式数据库的增量指针式访问方法。第1部分:通用索引系统设计文档。第2部分:通用指数系统低级设计文件。第3部分:用户指南。第4部分:参考手册。